... اعمّ است. هر گاه حد اوسط، مقوّمِ حد اصغر باشد، آن را ... ضرورتاً حکم به ثبوت حدّ اکبر (حدّ کهین) برای حدّ اصغر (حدّ مهین) را افاده ... می‌کند. حال اگر حدّ اوسط ... چه بسا خود معلولْ حدّ اکبر یا حدّ اصغر باشد ... انواع برهان ...